∂12-DEC-74  0053		ESS,JMC
 What does a single * mean in FOL?
␈ CC: RWW

∂11-DEC-74  2200		ESS,JMC
 Please bring your project to the Lab as soon as possible tonight.
␈ CC: PLW

∂11-DEC-74  0107		ESS,JMC AT TTY15   0107
 Since I will be away from Thursday afternoon through Monday, I will have
 to turn in grades by about Thursday noon.  Yes, I would like to see them,
 but I would also like your recommended grades.  Sufficiently good late
 projects may get a change of grade and some pleas for incomplete may
 be accepted.
␈ CC: nxl

∂11-DEC-74  0104		ESS,JMC AT TTY15   0104
 How are we doing on term projects?
␈ CC: nxl

∂11-DEC-74  0100		ESS,JMC
 How are we doing on term projects?
␈ CC: nxl

∂11-DEC-74  0035		ESS,JMC
 The TYPENUπ bug came back.
␈ CC: RWW

∂10-DEC-74  1812		ESS,JMC
 1. Fine about Berlekamp.
 
 2. Associated with the cut in university funds for computing should be
 a change in accounting so that the rates on the 360/67 could be reduced,
 and the funds would go farther.  Have the deans got to use the money
 saved, which nominally comes from the provost, for other purposes, e.g.
 faculty salaries?  Otherwise, I would imagine that it would be the Provost
 who would legislate the cut.  (If legislate is the word for an executive
 action.)
 
 3. Naively speaking, a 30% cut in 300 employees would leave 210.  However,
 if only 100 of the employees are in the group being cut, because the
 others are basic support staff or SLAC and you didn't mean them did you,
 then a 30% cut leaves 270.
␈ CC: fxb

∂10-DEC-74  1803		ESS,JMC
 To Hilda:
 	Lick has agreed that I could ask you to arrange an appointment
 for me to talk to Kent Kresa on Monday afternoon about military
 applications of computer vision.  I can get there by 1pm and need to
 make the 5:45pm plane from Dulles to get home.  If bending these
 constraints will make the meeting possible, I will do it.  Please reply
 to JMC@SU-AI.
 				John McCarthy
 				Director,Stanford Artificial Intelligence Lab.
 p.s. He would like Kahn or Carlstrom there too.
␈ CC: HILDA%ISI;LICKLIDER%ISI

∂10-DEC-74  1258		ESS,JMC
 I would like your statements now to put together.
␈ CC: @LEADER.LST[LET,JMC]:jmc,les,bgb,pdq,tob,tw,ccg,reg,dcl,rww

∂09-DEC-74  2225		ESS,JMC AT TTY72   2225
 ok
␈ CC: sgk

∂09-DEC-74  2220		ESS,JMC
 There is some kind of bug in <control>?.  It asked me whether it should
 replace E.ALS.  After trying N a few times, getting nothing worthwhile,
 I started over, and when it asked the question again, I said Y, at which
 point it genuinely replaced E.ALS[UP,DOC] by my empty file.  I got Ralph
 to resuscitate it, however.
␈ CC: ALS

∂09-DEC-74  1454		ESS,JMC
 The latest is responsive enough.  However, it may be too responsive in that
 it might take an army to carry it out in time.  Nevertheless it will do,
 I guess.
␈ CC: tw

∂09-DEC-74  1430		ESS,JMC
 Your draft is not responsive to the considerations in Lick's message.
 Specifically, it does not undertake to accomplish anything in particular
 in any period of time.  Please reread than section of his message, which,
 in case you have mislaid it, is lick.pre[cur,jmc].
␈ CC: TW

∂09-DEC-74  0316		ESS,JMC
 
 Dear Lick,
 	If you won't be too tired or too tired of us, some of us from
 the Lab and especially the M.I.T. contingent know a good Chinese restaurant.
 					John
␈ CC: licklider%ISI

∂09-DEC-74  0036		ESS,JMC
 I haven't finished planning, but I would like you to be there for
 at least part of it, but I would like the notes also.
␈ CC: pdq

∂08-DEC-74  1953		ESS,JMC
 Please order the following book for me:
  "THE MOSCOW GOURMET," WHICH IS AVAILABLE FROM
 ARDIS INC., 2901 HEATHERWAY, ANN ARBOR, MICH., 48104 FOR 
 $3.95.
 ***************
 
␈ CC: paw

∂08-DEC-74  1913		ESS,JMC
 I need a one page summary from each of you no later than Monday afternoon
 that will help me brief Licklider on project plans.
␈ CC: @LEADER.LST[LET,JMC]:jmc,les,bgb,pdq,tob,tw,ccg,reg,dcl,rww

∂08-DEC-74  1905		ESS,JMC
 The following bugs still exist:
 	1. It still misprints formulas with existential quantifiers.
 	2. When the line numbers get above 9 they print as characters, e.g.
 10 prints as :, 11 prints as ;, etc.
 	3. After making a step, it often breaks complaining as follows
  (DSK: (BK . TMP))
 CAN'T FIND FILE - INPUT
 LAST INPUT: <whatever the last input was>.
 	However, I did succeed in getting through the proof.  It took 24 steps
 without unify, 14 steps for my original proof using UNIFY to convert ¬∀ into
 ∃¬, and 9 steps for a proof by contradiction also using UNIFY to move ¬ through
 two quantifiers.
␈ CC: RWW

∂07-DEC-74  1649		ESS,JMC
 The memory proposal seems ok to me.  I suppose that we should tell D.E.C.
 that there is little prospect that the order can be placed by the end of
 year, however, given the number of bureaucratic layers the thing has to go
 through.
␈ CC: les

∂06-DEC-74  1912		ESS,JMC
 Don Farrow called and wants you to call him Monday.  He says he has
 straightened out the misunderstanding with Harvey Weiss and what we
 proposed is agreed to.  We can buy the memory now for $130K d will
 get the KL-10 in exchange for the PDP-6 later.  They would like to get
 the order for the memory with in 1974 if possible.
␈ CC: LES

∂06-DEC-74  1507		ESS,JMC
 No need to phone.  All set for Tuesday.  I got a message to call you,
 but it turned out to be Ed not being sure that I had got your previous message.
␈ CC: licklider%ISI

∂06-DEC-74  1405		ESS,JMC
 I expect to be present at the dinner on the 16th.
␈ CC: coles%SRI-AI

∂05-DEC-74  2327		ESS,JMC
 The chance of a three quarter sequence in computer graphics is zilch.  If you
 put all that stuff, omitting some of the gadgetry, in one quarter, it
 might have a chance.  However, it would be better to get some vison in too.
 I would suggest you consider starting with the modeling, but I have no
 detailed idea.
␈ CC: bgb

∂05-DEC-74  2151		ESS,JMC
 lick.pre[cur,jmc] contains a message from Licklider about his visit Tuesday.
 I would like each of you to think about it and what you propose to do to
 meet Lick's requirements and then talk to me about it.  We may also meet
 Monday to talk about it.  Contemplate including overhead projector slides
 but not students in a presentation of 15 to 20 minutes.
␈ CC: @LEADER.LST:jmc,les,bgb,pdq,tob,tw,ccg,reg,dcl,rww

∂05-DEC-74  1649		ESS,JMC
 newey thesis by monday am
␈ CC: jmc

∂05-DEC-74  1550		ESS,JMC AT TTY72   1550
 no, and i have a meeting now, so no time for more talk.
␈ CC: sgk

∂05-DEC-74  1549		ESS,JMC AT TTY72   1549
 ok, if you can't get transport from airport otherwise, send message.
␈ CC: sgk

∂05-DEC-74  1545		ESS,JMC AT TTY72   1545
 yes
␈ CC: sgk

∂05-DEC-74  1536		ESS,JMC AT TTY72   1536
 what is your current plan?
␈ CC: sgk

∂05-DEC-74  0332		ESS,JMC
 I have answered Lick's message.
␈ CC: ccg;green%ISI

∂05-DEC-74  0331		ESS,JMC
 1:30 to 5:00pm on Tuesday will be fine.
␈ CC: licklider%ISI

∂05-DEC-74  0314		ESS,JMC
 I fixed news75, having forgotten I need it this morning.
␈ CC: paw

∂04-DEC-74  2107		ESS,JMC AT TTY72   2107
 ok
␈ CC: elf

∂04-DEC-74  1659		ESS,JMC
 The idea an time are fine with me.
␈ CC: mg

∂04-DEC-74  0140		ESS,JMC
 Dear Lick,
 
 	Ralph Gorin, our chief systems programmer, was talking with
 Alan Kotok urging that D.E.C. make a 48 bit machine now that the
 KL-10 was mostly developed, and Kotok told him that you were urging
 the same.  I hope you will persist in this and that they will really
 do it.  Such a machine could live into the coming era of big memories
 that will obsolete almost everything else, and everything I have 
 heard tells me that IBM is moving into a monumental blind alley.
 
 					John
␈ CC: licklider%ISI

∂03-DEC-74  1818		ESS,JMC
 It seems to me that we should make one more change in the ns command
 format.  Namely, now that commands must be followed by space we can
 take keyword expressions without spaces.  In fact we could even have
 multi-letter commands if they take an argument separated by spaces
 and if we outlaw spaces within keyword expressions.  I think the format
 has made great progress already - one level is a big success.  Let's
 get together and go over all the formats.
␈ CC: ME

∂03-DEC-74  1533		ESS,JMC
 Please work out a course description for a course in vision and graphics,
 if one or both of you would like to teach it this winter or spring.  Apparently
 winter may be better from Floyd's point of view.  Try to get a draft this
 week.
␈ CC: bgb;pdq

∂03-DEC-74  0332		ESS,JMC
 NEWS PROPOSAL,DENTIST
␈ CC: JMC

∂02-DEC-74  2310		ESS,JMC AT TTY72   2310
 The usual number, which is about 2/3.
␈ CC: mjc

∂02-DEC-74  2309		ESS,JMC AT TTY72   2309
 How about tomorrow?  It will be a bad lecture anyway.
␈ CC: mjc